#define _CRT_SECURE_NO_WARNINGS 1
//#include <stdio.h>
//
//int main()
//{
//    int n = 0;
//    scanf("%d", &n);
//    printf("%d", n);
//    return 0;
//}
//#include <stdio.h>
//
//int main()
//{
//    float a = 0.0;
//    scanf("%f", &a);
//    printf("%.3f", a);
//    return 0;
//}
//#include <stdio.h>
//
//int main()
//{
//    char a = 0;
//    scanf("%c", &a);
//    printf("%c", a);
//    return 0;
//}
//#include <stdio.h>
//int main()
//{
//    int a = 0;
//    int b = 0;
//    int c = 0;
//    scanf("%d %d %d", &a, &b, &c);
//    printf("%d", b);
//    return 0;
//}
//#include <stdio.h>
//
//int main()
//{
//    char a = 0;
//    scanf("%c", &a);
//    for (int i = 0; i < 3; i++)
//    {
//        for (int j = 0; j < 3; j++)
//        {
//            printf("%c", a);
//        }
//        printf("\n");
//    }
//    return 0;
//}
//#include <stdio.h>
//
//int main() {
//    char a;
//    scanf("%c", &a);
//    for (int i = 1; i <= 3; i++) {
//        for (int j = 0; j < 3 - i; j++) {
//            printf(" ");
//        }
//        for (int j = 0; j < 2 * i - 1; j++) {
//            printf("%c", a);
//        }
//        printf("\n");
//    }
//    for (int i = 1; i < 3; i++) {
//        for (int j = 0; j < i; i++) {
//            printf(" ");
//        }
//        for (int j = 0; j < 2 * (3 - i) - 1; j++) {
//            printf("%c", a);
//        }
//        printf("\n");
//    }
//    return 0;
//}
//#include <stdio.h>
//
//int main()
//{
//    int a = 0;
//    float b = 0.0;
//    char c;
//    scanf("%c\n%d\n%f", &c, &a, &b);
//    printf("%c %d %.6f", c, a, b);
//    return 0;
//}
//#include <stdio.h>
//
//int main()
//{
//    int a, b, c;
//    scanf("%d %d %d", &a, &b, &c);
//    printf("%d%8d%8d", a, b, c);
//    return 0;
//}
//#include <stdio.h>
//
//int main()
//{
//    int n = 0;
//    scanf("%d", &n);
//    double time1 = 0.0;
//    double time2 = 0.0;
//    time1 = n;
//    time2 = n / 10.0 + 10;
//    if (time1 <= time2)
//    {
//        printf("w");
//    }
//    else
//    {
//        printf("v");
//    }
//    return 0;
//}
#include <stdio.h>

int main()
{
    int a, b, c, d;
    scanf("%d-%d-%d-%d", &a, &b, &c, &d);
    int sum = a * 1;
    int i = 4;
    int j = 9;
    int ret = b;
    int temp = c;
    while (ret != 0)
    {
        sum += (ret % 10) * i;
        i--;
        ret = ret / 10;
    }
    while (temp != 0)
    {
        sum += (c % 10) * j;
        j--;
        temp = temp / 10;
    }
    if (sum % 11 == d)
        printf("Right");
    else if (sum % 11 == 10)
        printf("%d-%d-%d-X", a, b, c);
    else
        printf("%d-%d-%d-%d", a, b, c, sum % 11);
    return 0;
}
//#include <stdio.h>
//
//int main() {
//    char a;
//    scanf("%c", &a);
//    for (int i = 1; i <= 3; i++) {
//        for (int j = 0; j < 3 - i; j++) {
//            printf(" ");
//        }
//        for (int j = 0; j < 2 * i - 1; j++) {
//            printf("%c", a);
//        }
//        printf("\n");
//    }
//    for (int i = 1; i < 3; i++) {
//        for (int j = 0; j < i; i++) {
//            printf(" ");
//        }
//        for (int j = 0; j < 2 * (3 - i) - 1; j++) {
//            printf("%c", a);
//        }
//        printf("\n");
//    }
//    return 0;
//}
//#include <stdio.h>
//int main()
//{
//	int arr[10] = { 1,2,3,4,5,6,7,8,9,10 };
//	printf("%d", arr[10]);
//	return 0;
//}
//#include<stdio.h>
//int main()
//{
//    char arr[13];
//    int i, j;
//    scanf("%s", arr);
//    int s = 0;
//    for (i = 0, j = 1; i < 11; i++)
//    {
//        if (arr[i] != '-')
//        {
//            s += (arr[i] - '0') * j;
//            j++;
//        }
//    }
//    int m = s % 11;
//    if (m == arr[12] - '0' || (m == 10 && arr[12] == 'X'))
//    {
//        printf("Right\n");
//    }
//    else
//    {
//        if (m == 10)
//        {
//            for (i = 0; i < 12; i++)
//            {
//                printf("%c", arr[i]);
//            }
//            printf("X");
//        }
//        else {
//            for (i = 0; i < 12; i++)
//            {
//                printf("%c", arr[i]);
//            }
//            printf("%d", m);
//        }
//    }
//}
#include <stdio.h>

int main()
{
    int date = 0;
    int sum = 1;
    int date2 = 1;
    scanf("%d", &date);
    for (int i = 1; date2 < date; i++)
    {
        for (int j = 0; j < i; j++)
        {
            if (date2 > date)
            {
                break;
            }
            sum += i;
            date2++;
        }
    }
    printf("%d", sum);
    return 0;
}